CPS[2]

Continuation Passing Style

A semantically clean language with continuations. It has been used as an intermediate language for Scheme and the SML/NJ compiler.

"Rabbit: A Compiler for Scheme", Guy L. Steele, AI-TR-474, MIT (May 1978).

Compiling With Continuations, Andrew W. Appel, Cambridge University Press, 1992.